executable specification造句

• HDLs are used to write executable specifications for hardware.
• Nevertheless, that first test functions as the beginning of an executable specification.
• Simulators quickly followed these introductions, permitting direct simulation of chip designs : executable specifications.
• The models are a graphical, executable specification of the problem space that is compiled into a target implementation.
• The VFSM method introduces an execution model and facilitates the idea of an "'executable specification " '.
• As such, implementations can be thought of as executable specifications with all the associated advantages . ( Notably : readability)
• Model-based systems engineering can benefit from abstract executable specifications as a tool for design exploration and experimental validation through simulation and testing.
• It is useful if Q is known to be small ( being an output-sensitive algorithm ), and can serve as an executable specification.
• UML can also be used for modelling the system from functional requirements through executable specifications and for that purpose it is important to be able to model the context for an embedded system  both environmental and user-driven.
• Frost, Hafiz and Callaghan also described the implementation of the algorithm in PADL 08 as a set of higher-order functions ( called parser combinators ) in Haskell, which enables the construction of directly executable specifications of CFGs as language processors.